COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.PORTION FRENCHCONF
C00005 ENDMK
C⊗;
.DEVICE XGP

.FONT 1 "NGR25"
.FONT 2 "NGB30"
.FONT 3 "SHD40"
.FONT 4  "BDI25"
.FONT 5  "NGR20"
.TURN ON "↓_π{"
.TURN ON "⊗" FOR "%"
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.TABBREAK
.COMPACT
.SELECT 1

.PORTION FRENCHCONF
.NEXT PAGE
.GROUP SKIP 3
.BEGIN FLUSH RIGHT
Douglas B. Lenat
Artificial Intelligence Laboratory
Computer Science Department
Stanford University
Stanford, California 94305, USA
Telephone 415-497-4971, or 415-329-1031
{DATE}
.END
.B





Public Relations Department
Institut de Recherche d'Informatique
Domaine de Volceau
78150 Le Chesnay, France



.E
.SELECT 2
Dear Sirs,

.SKIP 2
.INDENT 6

	Enclosed are four copies of the
draft of the paper I wish to present at the International
Symposium on Proving and Improving Programs.  
My fluency in French is adequate for delivery of my paper that language.
	The research was done during the past year, as a member of Green
and Waldinger's Automatic Programming Group, here at the
Stanford University Artificial Intelligence Laboratory. 
I am a third year graduate student at Stanford, and have a research
assistantship. My full address and telephone number appear above.

Awaiting your comments eagerly,

.B

					I remain,

.E